theorem Th682: :: NUMBER11:682
digits (3540,10) = <%0,4,5,3%>