(A,I) henselian if I locally nilpotent or if A complete wrt I
Easier treatment of rig-etale in principal ideal case

Special case of a result of Elkik who treats more generally rig-smooth
ring maps