take N = G_Net(# {},{},{} #); :: thesis: N is EE
thus N is EE ; :: thesis: verum