added proof of 2.3, 3.1