“…Theorem 1 may be viewed as belonging to a larger family of results stating that a group with "many" subgroups having a certain property P, or "few" subgroups not having P, itself satisfies P. Among the many articles on this broad topic, in addition to those referred to above, we mention here [5], [7] and [13]. For a property P of groups, a group G satisfies the weak maximal condition for non-P subgroups if there is no infinite ascending chain H 0 < H 1 < .…”