theorem Th235: :: NUMBER11:235
digits (136,10) = <%6,3,1%>