Twierdzenie_Tonellego_(ujednoznacznienie) does not exist