elementaryDivisor not zero