Fix typo in problem28 proof (again)