またformula_12が帰納的でない場合にも反例が存在する。