theorem :: GATE_1:3

not NOT1 {} is empty ;