また、"a" の台の上ではformula_3が成立することも、仮定する必要がある。