これらはformula_80の基底である。