Twierdzenie_o_ideale_pierwszym loading ...