theorem Th840: :: NUMBER11:840

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