theorem Th1179: :: NUMBER11:1179

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