Podaj 5 twierdzeń w formie implikacji