この等号という条件は、ラインバンドルkxが大きなラインバンドルであるか、もしくは、d-標準写像が十分大きなdに対し単射である(つまり、像への双有理写像である)。