Twierdzenie_o_dedukcji loading ...