wprowadzanie twierdzeń, które wcześniej nie zostały