Added proof of 2.16