>>696
「とてつもなくごく自然な前提」は、「自明」と同じだから、
定理の中には、自明ですむ定理もある。

そうすると、
　＞数学の定理に「自明」はありえない。
＞特に 主定理ではね。

は、反例となる数学の定理がある、ことになり、
「数学の定理に「自明」はありえない」という命題は、否定される。