Promoted to lemma to a proposition; started gathering the pieces together.