theorem Th538: :: NUMBER11:538

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