See also: Substitution property of equality, Reflexive property of equality, Transitive property of equality
... square roots of bo ...