Prove that x is