theorem :: GROUP_24:9

for A being Group holds A, multMagma(# the carrier of A, the multF of A #) are_isomorphic