Aをn×nの正則行列とするとき
A > O ⇒ A^(-1) > O
が成り立つことを示せ