Write a better version of the lemma on inverse limits of sess.

Long overdue!