Girard's theorem