proved commutivity of multiplication. that was tough