First Way, Part II: Two Lemmas Make Lemma-aid

TOF's Dilemma We are now ready to prove two lemmas regarding motion,  hence... dilemma. ROFL. Never mind. We interrupt this pun to stay on focus. Besides, there are a couple of initial propositions.

Those who have been following these maunderings would be well-advised to read

Background and
Part I
lest they lose themselves in the woods. First, we have to get a word out of our way.
Read more »