したがってformula_66はformula_67を含意することが分かる。