theorem Th566: :: NUMBER11:566
digits (2380,10) = <%0,8,3,2%>