theorem Th1290: :: NUMBER11:1290

Sum (digits (3875,10)) = 23