Let $A \in \mathbb{R}^{N \times N}$ be an D4571: Real matrix such that

(i) | $A$ is an D5871: Invertible real matrix |

(ii) | $B$ is an D2089: Inverse matrix for $A$ |

Then

(1) | $A^T$ is an D5871: Invertible real matrix |

(2) | $B^T$ is an D2089: Inverse matrix for $A^T$ |