theorem Th824: :: NUMBER11:824

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