>>289
証明すればいいのでは?遅くなると