Theorem IMILT: changed "is invertible matrix" to "is an invertible matrix" (Jenna)