Choosing f = a + b x + c p , we arrive at ⟨ ⟨ f ∗ ∗ ⋆ ⋆ f ⟩ ⟩ = [ a ∗ ∗ b ∗ ∗ c ∗ ∗ ] [ 1 ⟨ ⟨ x ⟩ ⟩ ⟨ ⟨ p ⟩ ⟩ ⟨ ⟨ x ⟩ ⟩ ⟨ ⟨ x ⋆ ⋆ x ⟩ ⟩ ⟨ ⟨ x ⋆ ⋆ p ⟩ ⟩ ⟨ ⟨ p ⟩ ⟩ ⟨ ⟨ p ⋆ ⋆ x ⟩ ⟩ ⟨ ⟨ p ⋆ ⋆ p ⟩ ⟩ ] [ a b c ] ≥ ≥ 0 .