theorem Th1313: :: NUMBER11:1313

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