Тождество

Тождество – это такое равенство, которое верно при любых значениях переменных, которые в него входят.