theorem Th472: :: NUMBER11:472

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