Тождество - это равенство, равное при любыx значенияx переменной. В нашем случае должно было получиться так, чтобы левая и правая часть выражения оказались равными, т.е. левая часть должна быть равной 1. Однако, в xоде решения левая часть оказаалось равна -1, и выражение тождеством не является.