[math-fun] Positive eigenvalues imply positive definite?