theorem Th432: :: NUMBER11:432

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