Всегда ли в тождествах содержится переменная?
Да, само определение об этом говорит: тождество - Равенство, выполняющееся на множестве значений входящих в него ПЕРЕМЕННЫХ.