>>43
>しかしこの証明法は、構成的ではないな

>>47
>実質的には43と同様

>>49
>両方とも構成的な議論だと

ワ ケ ワ カ ン ネ