It suffices to assume that only certain subgroups, the so-called local subgroups, are solvable.
It suffices na ipalagay na lamang ng ilang mga subgroups, ang tinatawag na lokal na subgroups, ay nalulusaw.