theorem Th428: :: NUMBER11:428

digits (1000,10) = <%0,0,0,1%>