これはformula_3が素数であるという仮定に背くからformula_34である。