Prove x 3