theorem Th825: :: NUMBER11:825

Sum (digits (1254,10)) = 12