theorem Th452: :: NUMBER11:452

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