theorem Th692: :: NUMBER11:692
digits (3640,10) = <%0,4,6,3%>