take id G ; :: thesis: ( id G is weak_SG-embedding & id G is strong_SG-embedding & id G is isomorphism & id G is Disomorphism )
thus ( id G is weak_SG-embedding & id G is strong_SG-embedding & id G is isomorphism & id G is Disomorphism ) ; :: thesis: verum