theorem Th95: :: NUMBER11:95

Sum (digits (24,10)) = 6