若或不可逆，则必有不可逆;若均可逆，则必有可逆