formula_39が一般的であることを示すため、次のシーケンスを考える。