theorem Th993: :: NUMBER11:993

digits (1035,10) = <%5,3,0,1%>