theorem :: E_SIEC:4

G_Net(# {},{},{} #) is e_net by Th2;