Additional thought - would it help him to take the hand-writing out of the proofs? There are a variety of apps to support keyboarded math.