backward implication

Мат. обратная импликация