added proof for 2.6