theorem Th479: :: NUMBER11:479

Sum (digits (1500,10)) = 6