18/10/24 17:17:57.82 UQNXPhxp.net
>>543 補足
>８）だが、思うに、「”定理1.7-2”を立てて、それをきちんと証明する」ができないことが、彼には分かったのでしょうね
（補足）
ここ、正確には、いまの定理1.7の証明のままでは、それはきちんと証明できていないということね
（彼くらい力があれば、時間を掛ければ、場合分けの定理1.7-2が、存在しないか、あるいは存在する（実例を構成する）か、きちんと証明できると思うのだがね）
18/10/24 17:17:57.82 UQNXPhxp.net
>>543 補足
>８）だが、思うに、「”定理1.7-2”を立てて、それをきちんと証明する」ができないことが、彼には分かったのでしょうね
（補足）
ここ、正確には、いまの定理1.7の証明のままでは、それはきちんと証明できていないということね
（彼くらい力があれば、時間を掛ければ、場合分けの定理1.7-2が、存在しないか、あるいは存在する（実例を構成する）か、きちんと証明できると思うのだがね）