theorem Th690: :: NUMBER11:690
digits (3620,10) = <%0,2,6,3%>