theorem Th1167: :: NUMBER11:1167
digits (1850,10) = <%0,5,8,1%>