>>845
公理ではなくて、処理時間の平均値を確率論で書いている。