>>340

P(x) = x^2
f_1(x) = 0

[∀x∈R, P(x) ≥ 0]∧[P(x) ≠ (f_1(x))^2]