Asallar p<q<r seklinde olmali. Basit oldugunu varsayalim. Hic normal altgrubu olmadigindan np,nq,nr>1 olmali.
Sylow teorem: nt≡1modt ve nt∣|G|/t saglanir.
1) ilk Sylow teoreminden dolayi np>p, nq>q ve nr>r olmali.
2) ikincisinden dolayi nr∣pq olmali. r<nr=p ve r<nr=q olamayacagindan nr=pq olmali.
Eger elemanlari sayarsak eleman sayisi >1+pq(r−1)+p(p−1)+q(q−1)>pqr olur. Celiski.
____________________
Ek:
1) Sylow teoremlerinin bilindik sirasini bilmiyorum, bu nedenle yukaridaki siralama tutmayabilir.
2) Son esitsizlik icin q(q−1)>qp esitsizligi kullanabilir.