Moved varia lemmas from LonExactSequences to Auxiliary.