for G being trivial strict Group
for H being strict Group st G,H are_isomorphic holds
H is trivial