theorem Th737: :: NUMBER11:737

digits (231,10) = <%1,3,2%>