theorem Th724: :: NUMBER11:724

digits (3960,10) = <%0,6,9,3%>