added commutative/associative/distributive theorems

the title says it all...