theorem Th953: :: NUMBER11:953

digits (483,10) = <%3,8,4%>