theorem Th462: :: NUMBER11:462

digits (1340,10) = <%0,4,3,1%>