theorem Th997: :: NUMBER11:997

digits (1081,10) = <%1,8,0,1%>