theorem Th1216: :: NUMBER11:1216

Sum (digits (2650,10)) = 13