theorem Th810: :: NUMBER11:810

digits (1078,10) = <%8,7,0,1%>