theorem Th720: :: NUMBER11:720

digits (3920,10) = <%0,2,9,3%>