Haag's theorem

Interaction picture doesn't exist in QFT: free and interacting fields cannot be unitarily equivalent. Motivates axiomatic (Wightman) approach.