theorem Th12: :: E_SIEC:12

for N being e_net holds CL the entrance of N = CL the escape of N