Proofs in Differential Calculus - Direct Substitution Property

This is a proof of the direct substitution property in differential calculus (usually found in the section involving limit laws).