0462考える名無しさん垢版 | 大砲2018/08/22(水) 14:36:27.890 証明の難しい問題はその対偶を証明することによって 間接的に証明したことになるけれど これは本当に信用できるのであろうか