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.