NOR with Equal Arguments/Proof 1