theorem Th1078: :: NUMBER11:1078

Sum (digits (125,10)) = 8