theorem Th568: :: NUMBER11:568
digits (2400,10) = <%0,0,4,2%>