theorem Th447: :: NUMBER11:447

Sum (digits (1180,10)) = 10