theorem Th1076: :: NUMBER11:1076

Sum (digits (25,10)) = 7