theorem Th830: :: NUMBER11:830

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