>>947
そうですよ。日高さんが証明を書かないから、この命題の真偽は不明。
何か問題がありますか？

私にとっては、なにも、問題はありません。