theorem Th1368: :: NUMBER11:1368

Sum (digits (4875,10)) = 24