theorem Th1255: :: NUMBER11:1255

digits (3325,10) = <%5,2,3,3%>