Froda's theorem