.
czy dowodząc jakąś równość można wyliczać daną literkę/wyrażenie z założenia i wstawiać ją do tezy ?
@regor to wiedziałem, tylko dalej nie mam precyzyjnej odpowiedzi, czy mogę przekształcić założenie i wstawić je do tezy, po czym przeprowadzić działania i dojść do chcianego wyniku ?
Dowodząc jakąś tezę, nie można używać wyniku dowodu, który np. jest podany w poleceniu. Takie działanie mija się z celem. Trzeba pokazać całą drogę np. przekształcania nierówności lub równości.