theorem Th1276: :: NUMBER11:1276
Sum (digits (3650,10)) = 14