A D6159: Complex square matrix $A \in \mathbb{C}^{N \times N}$ is invertible if and only if
(1) | \begin{equation} \exists \, B \in \mathbb{C}^{N \times N} : B A = I_N \end{equation} |
(2) | \begin{equation} \exists \, C \in \mathbb{C}^{N \times N} : A C = I_N \end{equation} |