どんな無限列ｓについても、所属する同値類の代表元ｒが存在するなら
両者の比較により、一致する尻尾の先頭位置である決定番号ｄが存在する