non-trivial divisor