theorem Th658: :: NUMBER11:658

digits (3300,10) = <%0,0,3,3%>