theorem Th802: :: NUMBER11:802

digits (990,10) = <%0,9,9%>