theorem Th532: :: NUMBER11:532

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