Равенство при всех значениях переменных