Substitution theorem