Given are n vectors linearly independent over Q.
Furthermore we know they are linearly independent over the field generated by the m-th root of 2.
Now it is intuitively obvious that those n vectors are linearly independent over Q(m-th root of 2).
Is there a theorem stating this fact in a more generalized way or do we have a simple way of proving this?
Thanks,
Jabon