syzygy定理