Question 972310
This could be either or both of Multiplication Property of Equality or Inverse Prop of Eq.  The condition part looks like Reflexive Property of Equality and a property of fractions; but the conclusion has no justification.


c=0 is unrelated.  The needed requirement is {{{b<>0}}}.