結び目の種数の2倍はアレクサンダー多項式の次数で下から抑えられる(アレクサンダー多項式の次数は種数の2倍を超えない)。