theorem Th794: :: NUMBER11:794

digits (902,10) = <%2,0,9%>