theorem Th762: :: NUMBER11:762

digits (484,10) = <%4,8,4%>