Prove(1)