theorem :: GROUP_24:88

for A being Group st A is commutative holds
inverse_op A is Automorphism of A ;