theorem Th483: :: NUMBER11:483

Sum (digits (1540,10)) = 10