Skracalność

Cześć, pomijam założenia i tekst pisany dla przejrzystości.

Czy to jest poprawnie przekształcone? Tzn. w ostatniej linijce dopisałbym, że prawa strona całkowita, a lewa nie, więc sprzeczność, czyli koniec dowodu.

Na nagraniu to było trochę inaczej dlatego pytam, bo akurat taki pomysł przyszedł mi pierwszy do głowy.