theorem Th1287: :: NUMBER11:1287

digits (3850,10) = <%0,5,8,3%>