数学＋αならかのうだが、逆説的に数学的には証明が難しいって事かな。ではプログラミングでは、例えば添付に条件を修正せず、新しい2行を追加してすでに書かれている 1＝2は正しい を表示しろとなると。