Кому должны =) А самое главное - зачем??! Тождества это для абстракций, выражений всяких, переменных. Вся мат теория доказывается в общепринятых правилах и абстракциях. Это и есть такая реальность.

Давайте ближе к практике. В тч к научной.