P

Initializing...

Theorem 3 (item 1) — $\delta_k$ well defined and (3.6) · Prove2Me