The text states that a finite field can be considered as a vector space over its prime subfield `F_p`. Why is this a valid way to view the structure of F:
A) F is a finite extension of its prime subfield `F_p`, which allows us to define scalar multiplication using the elements of `F_p`.
B) The elements of F must all be generated by adding the multiplicative identity to itself, making them multiples of `1_F` ?