theorem Th528: :: NUMBER11:528

digits (2000,10) = <%0,0,0,2%>