Syzygy theorem

Summary