theorem Th478: :: NUMBER11:478

digits (1500,10) = <%0,0,5,1%>