theorem Th406: :: NUMBER11:406
digits (780,10) = <%0,8,7%>