もちろん現実的にはほぼ成り立ちますが、数学的に証明するにはすべての例を検証しないといけなくないですか？