A = B
we can infer the identity
AC = BC.
This is but a case of plain substitution; for by the first Law of Thought it must be admitted that
AC = AC,
and if, in the second side of this identity, we substitute for A its equivalent B, we obtain
AC = BC.
In like manner from the partial identity
A = AB
we may obtain