cancellative equality factoring