proof revised
revised sections 3 - 5