theorem Th572: :: NUMBER11:572
digits (2440,10) = <%0,4,4,2%>