[math-fun] A linear algebra theorem?

Is this a theorem? Let A and B be real symmetric matrices all of whose eigenvalues are positive. Then all eigenvalues of AB are positive. -- Gene