theorem Th829: :: NUMBER11:829

Sum (digits (1298,10)) = 20