let ~ be defines so that a ~ b exactly when a * b is divisible by 3. is this an equivalence relation? if not, which of the three properties does not hold?
a. Reflexivity
b. Symmetry
c. Transitivity