ИСТИНА

Рассматриваются сателлитные неизвестные в неприводимых дифференциальных системах с выделенными неизвестными. Доказывается, что в таких системах любая невыделенная неизвестная всегда является сателлитной для любого множества выделенных неизвестных. Предлагается алгоритм факторизации систем, имеющий полиномиальную сложность, но применимый не всегда.