>>334
ならば、証明すべきかと思います。