Об одном условии дважды транзитивности примитивной группы перестановок

Доказано следующее обобщение известной теоремы Фробениуса. Пусть $G$ – примитивная группа перестановок множества $W=X\cup Y \cup Z$; если $G$ содержит такую подгруппу $H$, что $H$ действует тривиально на $X$, а на $Y$ и $Z$ примитивно, и если $|X|\geqslant2$, то $G$ дважды транзитивна.
Библиография: 2 названия.