detA≠0ならAは逆行列を持つ事のスマートな証明ってありませんか?