theorem Th722: :: NUMBER11:722

digits (3940,10) = <%0,4,9,3%>