G c= G ;
then reconsider H = G as Subset of G ;
take H ; :: thesis: H is SimpleGraph-like
thus H is SimpleGraph-like ; :: thesis: verum