theorem Th63: :: NUMBER17:63
digits (201,10) = <%1,0,2%>