P
Initializing...
A Liouville inequality through the resultant: |Res(F, G)| is controlled by max(|F(θ)|, |G(θ)|) · Prove2Me