theorem Th468: :: NUMBER11:468

digits (1400,10) = <%0,0,4,1%>