Some Useful Matrix Lemmas in Statistical Estimation Theory*