Question
Let `beta in F(alpha)`, where `F(alpha)` is a simple extension.
Then
1. `beta = b_0 + b_1 alpha + ... + b_{n - 1} alpha^{n - 1}`
or
2. `beta = b_0 + b_1 alpha + ... + b_n alpha^n`
?