left factoring OK