tidy up proof code of Taylor series evaluation algorithm