Field extension/Q in R/Basis/Exercise

Let be the -dimensional standard vector space over , and let

be a family of vectors. Prove that this family is a -basis of if and only if the same family, considered as a family in , is a -basis of .