P
Initializing...
`d(C_p ⊕ C_p) = 2p - 2`, i.e. · Prove2Me