set G2 = the removeEdges of G,E;
set G3 = the removeEdges of G,E | _GraphSelectors;
take
the removeEdges of G,E | _GraphSelectors
; ( the removeEdges of G,E | _GraphSelectors is Subgraph of G & the removeEdges of G,E | _GraphSelectors is removeEdges of G,E & the removeEdges of G,E | _GraphSelectors is plain )
thus
( the removeEdges of G,E | _GraphSelectors is Subgraph of G & the removeEdges of G,E | _GraphSelectors is removeEdges of G,E & the removeEdges of G,E | _GraphSelectors is plain )
by Th9, GLIB_006:16; verum