>>582
証明する必要なし。