theorem Th414: :: NUMBER11:414

digits (860,10) = <%0,6,8%>