>>945
証明の定義を書いてみて