SQL Redundant NOT NULL Constraint

Когда я добавляю некоторые ограничения, например:

 create table Test(
  IDTest int primary key,
  Credit int not null constraint Credit check (Credit >= 0)
 );

В этом случае не является ли не нулевым в Кредит избыточен, так как я добавляю ограничение, согласно которому Credit должен быть выше 0?