This is in the book Bogopolski, Oleg, Introduction to group theory. Translated, revised and expanded from the 2002 Russian original. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2008. x+177 pp. Bogopolski uses it to prove the Sylow theorems.
user6976