P
Initializing...
`BookProof.ChapterPinOmega.qkC_qiC` : qkC * qiC = qjC · Prove2Me