Proof of Theorem NME9

By Theorem IMILT, the new addition to this list is equivalent to the statement that $A$ is invertible, so we can expand Theorem NME8.