theorem Th1007: :: NUMBER11:1007

digits (1196,10) = <%6,9,1,1%>