>>413
>頭の有限個以外が一致するという条件なのだから、決定番号は当然有限

証明できないよ