Exercise 8, Appendix 1

Suppose that $k$ is a field and that A is a primitive algebra over $k$. Prove that if A admits a finite-dimensional nonzero left ideal over $k$, then the algebra A is finite-dimensional over $k$ and consequently a simple ring (cf. Exercise 7).