theorem Th1122: :: NUMBER11:1122

Sum (digits (1025,10)) = 8