ここでformula_4とformula_5はformula_1を法として取られる。