i suggest to use the non-destroying multiplication here: `pp_Mult_qq(DEN(fa), DEN(fa), ntRing)`