theorem Th540: :: NUMBER11:540

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