theorem Th632: :: NUMBER11:632

digits (3040,10) = <%0,4,0,3%>