Calculus 1: The Substitution Rule