consider G, H being Element of V such that
A3: G <= H and
A4: F is Morphism of G,H by Def17;
reconsider F9 = F as Morphism of G,H by A4;
cod F9 = H by A3, Def8;
hence cod F is Element of V ; :: thesis: verum