Определение следствия в математических уравнениях