Lemma 1: $F_n$ is a $\mathbb{Q}$-linear form in $1, \zeta(r+2), \dots, \zeta(q-2)$, with denominators (3)

Initializing...

Lemma 1: $F_n$ is a $\mathbb{Q}$-linear form in $1, \zeta(r+2), \dots, \zeta(q-2)$, with denominators (3) · Prove2Me