theorem Th1107: :: NUMBER11:1107

digits (775,10) = <%5,7,7%>