である、つまり、フェーズはformula_6の倍数である。