>>695
証明の必要がないのでは?