>>987
証明は終わってます。