Respuesta :

They are both directly derived from the commutative and associative axioms as well as the re-arrangement property.