theorem Th745: :: NUMBER11:745

digits (378,10) = <%8,7,3%>