Проверьте будет ли последовательность векторов линейно зависимой

Система векторов a1,…,an называется линейно зависимой, если существуют такие числа t1,…,tn из R, не все из которых равны нулю, что t1a1+t2a2+…+tnan=0.
Система векторов линейно зависима тогда и только тогда, когда хотя бы один из этих векторов линейно выражается через остальные.
Число векторов n=4 a1,…,a4 превосходит число координат векторов p=2, т.е