Update algorithm_fact_with_memo.rst