Asallar p<q<r seklinde olmali. Basit oldugunu varsayalim. Hic normal altgrubu olmadigindan np,nq,nr>1 olmali.
Sylow teorem: n_t \equiv 1 \mod t ve n_t \mid |G|/t saglanir.
1) ilk Sylow teoreminden dolayi n_p>p, n_q>q ve n_r>r olmali.
2) ikincisinden dolayi n_r \mid pq olmali. r<n_r=p ve r<n_r=q olamayacagindan n_r=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.