Lift Theorem