wynik logiczny, wniosek wysunięty z poprzednich twierdzeń