theorem Th443: :: NUMBER11:443

Sum (digits (1140,10)) = 6