子群的逆定理