包含(ならば)の定義みたいなものなので確認しなくてもほとんど問題ない。
もちろん、証明できることは前提だけど。