theorem Th558: :: NUMBER11:558

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