theorem Th542: :: NUMBER11:542

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