consider G, H being strict Element of V such that
A2: F is strict Morphism of G,H by Def30;
reconsider F' = F as Morphism of G,H by A2;
cod F' = H by Def19;
hence cod F is strict Element of V ; :: thesis: verum