Vihje: Voit todistaa c-kohdan osoittamalla, ettei $\text{[math]}$ ole pääihanne. Tämän puolestaan saa osoitettua lähtemällä liikkeelle siitä vastaoletuksesta, että $\text{[math]}$ olisi yhden polynomin generoima, jolloin syntyy ongelmia ihanteeseen kuuluvien polynomien $\text{[math]}$ ja $\text{[math]}$ kanssa.