Syzygy theorem