theorem Th790: :: NUMBER11:790

digits (814,10) = <%4,1,8%>