theorem Th844: :: NUMBER11:844
digits (1496,10) = <%6,9,4,1%>