theorem Th983: :: NUMBER11:983

digits (851,10) = <%1,5,8%>