P
Initializing...
A two-variable rational expression is at most one half · Prove2Me