theorem Th311: :: NUMBER11:311
digits (437,10) = <%7,3,4%>