P
Initializing...
Negative reciprocal: the branch b/a ≥ 2 · Prove2Me