Let (R, m) be a local Hensel ring and A an algebra over R which is finitely generated and projective as an R-module. If A contains a complete set of mutually ...