theorem Th237: :: NUMBER11:237

digits (153,10) = <%3,5,1%>