theorem Th519: :: NUMBER11:519

Sum (digits (1900,10)) = 10