reducibility criterion

Критерий сводимости