theorem Th1011: :: NUMBER11:1011

digits (1242,10) = <%2,4,2,1%>