theorem Th319: :: NUMBER11:319

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