theorem Th857: :: NUMBER11:857

Sum (digits (1650,10)) = 12