section_heading: Dokaz
paragraph_text: Dakle, <math>p</math> dijeli <math>a_0q^n</math>. No, kako su <math>p, q</math> relativno prosti, prema Euklidovoj lemi su i <math>p, q^n</math> također relativno prosti što znači da mora biti <math>p \vert a_0</math>.