Elimination with multiplication