Fix typo in problem28 proof