theorem Th64: :: NUMBER17:64
digits (202,10) = <%2,0,2%>