正規言語が無限の場合、その言語を受理する最小fsaが存在しなければならない。