Proof is trivial! It's self-evident if you decompose into a total vector which admits equivalence classes of factorable antihomomorphisms (Hint: introduce Bertrand's paradox)