証明の難しい問題はその対偶を証明することによって
間接的に証明したことになるけれど
これは本当に信用できるのであろうか