Имеем задачу вида



Следовательно как мне кажется, написано следующее

Но очевидно что

Объясните почему при записи

выходит такая несуразица, ведь простая записать вида

не значит что

Расскажите по подробнее так как я абсолютно этого не понял, и доказать не выходит.
Заранее спасибо!