theorem Th792: :: NUMBER11:792

digits (858,10) = <%8,5,8%>