Merge pull request #15 from yushan87/master

added commutative/associative/distributive theorems