theorem Th774: :: NUMBER11:774

digits (616,10) = <%6,1,6%>