P
Initializing...
(127): necessary coefficient equations above dimension two · Prove2Me