set i = ID G;
( dom (ID G) = G & cod (ID G) = G ) ;
hence ID G is strict Morphism of G,G by Def8; :: thesis: verum