Yuqarıda qayd etilgen tarifi, qısmen nizamlı N2 toplamındaki tekrarlama teoremanı isbatlavınıñ qullanuvı ola.