theorem Th1341: :: NUMBER11:1341

digits (4550,10) = <%0,5,5,4%>