現在これはformula_4まで確かめられている。