theorem Th556: :: NUMBER11:556
digits (2280,10) = <%0,8,2,2%>