Я не говорил что вы сделали подрыв, вы просто пытаетесь заболтать базовые понятия мат логики, которые в уточнении вне практического контекста не нуждаются.

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

Неудобно общаться с такими таймаутами, простите.