>>350
成り立ってんだから証明する必要も無いのでは?