Потому что не любое равенство является тождеством. Тождество по определению -- это равенство, выполняемое для всех значений переменных, но есть равенства, выполняемые только при одном значении переменной (и они тождеством не являются).
Например, x+8 = 10 -- это равенство, выполняемое при x=2 , но выражения "x+8" и "10" не тождественны.