補助定理

主定理を証明するために、まずはこの補助定理を示す必要がある。

数学の教科書に載っている有名な補助定理を引用して、自説を補強した。

この補助定理は一見単純だが、応用範囲が非常に広いことが知られている。