added preamble to prop 3.16
added lemma 3.17