theorem Th1227: :: NUMBER11:1227

digits (2850,10) = <%0,5,8,2%>