theorem Th828: :: NUMBER11:828

digits (1298,10) = <%8,9,2,1%>