brakuje 2 twierdzen