Инвариант_конечного_типа loading ...