Search the corpus

    A finite group is nilpotent if and only if its maximal subgroups are normal

    T-OHEFT