complete fact_r