P
Initializing...
Lemma 2.2 — $C^P_i = T_i + \sum_{0<\beta\le1}\beta S^P_i(\beta)$ · Prove2Me