theorem Th548: :: NUMBER11:548

digits (2200,10) = <%0,0,2,2%>