  The paper presents a model-independent, nonperturbative proof of operator
product expansions in quantum field theory. As an input, a recently proposed
phase space condition is used that allows a precise description of point field
structures. Based on the product expansions, we also define and analyze normal
products (in the sense of Zimmermann).
