This theorem is a tool for lifting modular solutions to solutions modulo a higher power of a prime number.