それって逆は言えなかったっけ？完全圏とか条件は付くだろうけど。