proved 2.9
stated (and proved) prop 2.10