theorem Th426: :: NUMBER11:426

digits (980,10) = <%0,8,9%>