Let's just call this transformation, I don't know, did I already use T? Let's just call it Tnaught for our transformation applied to some vector x, that might be equal to Ax. So we know that this is invertible.