P
Initializing...
$[\mathbb{Q}(\theta):\mathbb{Q}] = \deg f$ for irreducible $f$ · Prove2Me