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.