P
Initializing...
Theorem 5.2 and Corollary 5.3 -- the coupling bound · Prove2Me