Froda's theorem

Summary