משפט קרונקר-ובר – הבדלי גרסאות

 

מאידך, בעזרת [[למת הנזל]] ניתן להוכיח שכל הרחבה לא מסועפת של ההשלמה ה־p־אדית של <math>\ \mathbb{Q}</math> מתקבלת באמצעות סיפוח שורש היחידה מתאים.