フィッティングの補題
M の長さについての仮定より
が成り立つ。この等式のそれぞれから
を得る。