Является ли система векторов базисом