Obviously exists. Now by Cauchy's theorem there is a subgroup . We will show how to prove exists. By the theorem we proved we know that . Since we can form and we see that divides . By Cauchy's theorem there is a subgroup with . If is the natural projection then is a subgroup of with . Just keep on repeating this argument for and so form and this gives us a chain with and .