theorem Th1009: :: NUMBER11:1009

digits (1219,10) = <%9,1,2,1%>