removing mul_assoc lemma