theorem Th892: :: NUMBER11:892

digits (2090,10) = <%0,9,0,2%>