Description: Commutative/associative law for projective subspace sum. (Contributed by NM, 14-Jan-2012) (New usage is discouraged.)