fix prop 3.2, 3.6 and proof of prop 3.2
fix proof of prop 3.5
add definition of notation S(t) and move prop 3.5 up