これをformula_80の式に当てはめformula_81についての系列に展開することで次が示される。