P
Initializing...
Lemma 1 — the order on either machine can be made the same as on the other without loss of time · Prove2Me