added a missing proof from an exercise