P
Initializing...
Isolated-minimum completion: appending the fourth term $3b-2a$ · Prove2Me