Added proof 2.3(b)