Lemma 1 

This document was translated from LATEX by HEVEA.