formula_66ならformula_72は有界であるから