theorem Th1041: :: NUMBER11:1041
digits (1633,10) = <%3,3,6,1%>