Lemat_o_zwiększaniu_wykładnika_p-adycznego loading ...