P
Initializing...
Lemma 2: biorthogonality lifts from 1|2 to 1|23 · Prove2Me