Suppose that Syz ( f 1 , … , f n ) {\displaystyle {}\operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)}} is strongly semistable. Then