valid consequence

Мат. обоснованное следствие