Theorem: Lagrange-Bürmann expansion Let p be an almost unit in P,...