Prove xny