Description: Hilbert vector space commutative/associative law. (Contributed by Mario Carneiro, 15-May-2014) (New usage is discouraged.)