Базис линейного пространства (02)

Найдено разложение заданного вектора пространства R_2 по двум другим векторам этого пространства. Доказано, что эти два последние вектора образуют базис в пространстве R_2. Предполагаются известными определения линейного пространства и его базиса, а также следующая теорема: некоторый набор векторов линейного пространства образуют базис последнего, если произвольный вектор этого пространства однозначно разложим по векторам заданного набора.