P
Initializing...
Theorem 5:2, first sentence — the cg-method is a cd-method · Prove2Me