Add proof for equivalence of associative laws