add proof of 7.6