Ostrowski's Criterion states that:
Let . If is a prime and then is irreducible.
Let be a root of . If , then a contradiction. Therefore, .
Suppose . Since , one of and is 1. WLOG, assume . Then, let be the leading coefficient of . If are the roots of , then . This is a contradiction, so is irreducible.
This article is a stub. Help us out by.