NAND with Equal Arguments/Proof 1