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