1) n17=1. Bu gruba N diyelim. (N normal!)
2) 5-elemanli bir altgrup alalim, K. O halde H=KN normal, cunku [G:H]=3 mertebeyi bolen en kucuk asal sayi. (mertebesi 85=5.17 olan devirlidir!)
3) H normal ve (3,85)=1 oldugundan G≅H×C3
ya da (ikinci cozum olarak)
3) H devirli oldugundan uretec sayisi ϕ(85)=64 yani Aut(H)=64.
4) (64,3)=1 yani C3→Aut(H) trival homomorfizma olmali. O halde G≅H×C3