<このスレの定説>
サルのタイプライターの場合には正しい証明を書く可能性あるが、
高木氏の場合には数学に根本的かつ深刻な誤解があるため正しい証明を書くことができない。