theorem Th139: :: NUMBER11:139

Sum (digits (28,10)) = 10