Section 4.2-Antipodal Points Theorem
A consequence of continuity. This figure allows you to follow f(x) and f(x+p) (where p could equal pi or it could be some other value). One can observe that secant line connecting the two points is horizontal somewhere in the interval.