P
Initializing...
System (4) $\Rightarrow$ system (7), $z_+$ equation · Prove2Me