P
Initializing...
Proof of Theorem 1 — $[\sigma,X]=0\iff\mathcal P_X(\sigma)=\sigma$ · Prove2Me