theorem Th315: :: NUMBER11:315

digits (475,10) = <%5,7,4%>