number_theory, dfs