theorem Th231: :: NUMBER11:231

digits (102,10) = <%2,0,1%>