theorem Th1369: :: NUMBER11:1369
digits (4900,10) = <%0,0,9,4%>