NOR with Equal Arguments/Proof 2