theorem Th648: :: NUMBER11:648

digits (3200,10) = <%0,0,2,3%>