Banaketa bereko zorizko aldagai baten batezbestekoa, lagin-tamaina infiniturantz doanean, ia ziurtasun osoz zorizko aldagaiaren batezbestekoarekin bat datorrela baieztatzen duen teorema.