theorem Th1111: :: NUMBER11:1111
digits (850,10) = <%0,5,8%>