theorem Th321: :: NUMBER11:321
digits (532,10) = <%2,3,5%>