theorem Th73: :: GROUP_24:69

for G, A being Group
for phi being Homomorphism of A,(AutGroup G) st G is strict & G is trivial holds
semidirect_product (G,A,phi),A are_isomorphic