Added unnumbered proposition to definitions.tex