Lemma 10 shift with any fixed unit coefficient u = ±k·d⁻¹ (k, d ≥ 1 prime to Q, reduced below Q), IL program

Initializing...

Lemma 10 shift with any fixed unit coefficient u = ±k·d⁻¹ (k, d ≥ 1 prime to Q, reduced below Q), IL program · Prove2Me