theorem Th343: :: NUMBER11:343

digits (741,10) = <%1,4,7%>