theorem Th1209: :: NUMBER11:1209

digits (2550,10) = <%0,5,5,2%>