別の言葉かどうかを言ってるんじゃなくて

x≠a であること
aがaであることを証明すること

これは全く別の話だからな
頭悪すぎて分からないか