P
Initializing...
Resultant of coprime primitive curries is nonzero · Prove2Me