Podstawowe metody dowodzenia twierdzeń – dowód nie wprost