Create an entirely different proof of Theorem IMILT that relies on Definition IVLT to establish the invertibility of T , and that relies on Definition MI to establish the invertibility of A

| |