Division and Properties of Equality