Existence and Uniqueness of the Van der Pol Limit Cycle