О нормализаторном условии

Доказывается, что непериодическая группа $\mathfrak G$, в которой каждая бесконечная истинная подгруппа отлична от своего нормализатора, удовлетворяет нормализаторному условию, т.е. что в ней отлична от своего нормализатора каждая истинная подгруппа.