theorem Th873: :: NUMBER11:873

Sum (digits (1848,10)) = 21