Theorems
The real part of the Heisenberg-Euler Lagrangian of quantum electrodynamics
The Nambu-Goldstone modes for weakly interacting fermions in a magnetic field