P
Initializing...
Lemma 2 — for odd composite M, every optimal plan of the explicit periodic instance has q₂ = M and 1 < gcd(q₁, M) < M · Prove2Me