theorem Th719: :: NUMBER11:719

Sum (digits (3900,10)) = 12