P
Initializing...
System (7) $\Rightarrow$ system (4), $y_-$ equation (inverse transformation) · Prove2Me