theorem Th733: :: NUMBER11:733

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