Let . Suppose that is defined on an open interval around (except possibly at ) if and then .

Proof

Proof By Contradiction