theorem Th1329: :: NUMBER11:1329

digits (4400,10) = <%0,0,4,4%>