Dowodzenie twierdzeń związanych z liczbami rzeczywistymi