let G1, G2 be Element of {G}; :: according to GLIB_014:def 24 :: thesis: G1 tolerates G2
( G1 = G & G2 = G ) by TARSKI:def 1;
hence G1 tolerates G2 ; :: thesis: verum