added 3.4
added prop 3.10
proved theorem 3.10