Примитивно рекурсивно категоричные линейные порядки

Доказано, что линейные порядки примитивно рекурсивно категоричны над классом структур $K_\Sigma$ тогда и только тогда, когда в них содержится лишь конечное число соседних пар.