Suppose we have finite field extensions $B$ and $K$ of $F$ of respective degrees $m$ and $n$, all contained in some larger field $E$. Prove that a domain which is a finite dimentional algebra over a field must be a field, so $B \otimes K$ will be a field if it has no zero divisors.