I made a geometric argument: the direction difference vector
is along the line connecting the tips of the
two unit
vectors at two times. The closer the two
's are to parallel, the closer the line connecting the tips
is to being perpendicular to each of them.