P
Initializing...
Lemma 10 shift with coefficient u = -k (2 ≤ k ≤ 20, k prime to Q), IL program · Prove2Me