added and proved prop 3.24 (in notes)