theorem Th444: :: NUMBER11:444
digits (1160,10) = <%0,6,1,1%>