>>864
それでも、最終的に完全に正しい証明が完成すれば問題ないと考えられるが