take the plain removeEdges of G,(G .loops()) ; :: thesis: the plain removeEdges of G,(G .loops()) is plain
thus the plain removeEdges of G,(G .loops()) is plain ; :: thesis: verum