補助定理

補助定理の類語・類義語・言い換え

他の命題を証明するために真であると想定される補足的命題

補助定理