Enumeration theorem

Summary