theorem Th1014: :: NUMBER11:1014

Sum (digits (1265,10)) = 14