P
Initializing...
de la Peña–Montgomery-Smith Lemma 2, order 3 (conditional form) · Prove2Me