Substitution Theorem