量子コンピュターは無限を処理できないから、数学の定理を証明するのは無理だと思う。