P
Initializing...
Lemma 5.1: five recursive fourth-power constituent values · Prove2Me