Hensel onsavi kapali fonksiyon (implicit function) teoreminin bir sonucudur. En kaba haliyle de sunu soyler: p-sel dunyada Newton'un kok bulma algoritmasi her zaman sonuc verir.
En bilinen uygulamasi Hasse-Minkowski yerel/butunsel ilkesidir: Rasyonel sayilar uzerine tanimli ikinci dereceden bir formun asikar olmayan bir sifiri olmasi icin gerek yeter kosul butun p-sel cisimlerde koku olmasidir. Bu ilkenin 3 degiskenli formlar icin cok kisa bir ispati Cassels'in Elliptic Curves kitabinda bulunabilir. Hatta birisi buraya aktarabilir de parcalayarak.