обратное предположение

Мат. inverse assumption