P
Initializing...
Lemma 8.3 — the resulting x_k is strictly fractional · Prove2Me