細かいところはどうでもいい

方針としてこの証明で行けるのかが重要
行けるなら数学上の偉大な功績で有ることは間違いない