indirectly testable

Мат. косвенно проверяемый