SQL Server 建表：同表 字段之间的约束

想建一个书库，有库存总量和剩余量，想在建表的时候约束剩余小于等于总量。

不能在列之间约束，而是要表级约束。

eg:

create table BookStore
(   
    ISBN varchar(13) primary key   foreign key references Book(ISBN),
    TotalNumber smallint default(10)check(TotalNumber >=0),
    LeftNumber  smallint default(10)check(LeftNumber>=0),
    check(LeftNumber<=TotalNumber)
)