let G1, G2, G3 be non empty Group-like multMagma ; <*G1,G2,G3*> is Group-like multMagma-Family of {1,2,3}
reconsider A = <*G1,G2,G3*> as multMagma-Family of {1,2,3} ;
A is Group-like
hence
<*G1,G2,G3*> is Group-like multMagma-Family of {1,2,3}
; verum