> 「Xが真なら、1=2である」はX自身に等しく、「Xが真である」ことをしめすので

ここ