P
Initializing...
Negative reciprocal: first step of the Euclidean descent (remainder) · Prove2Me