行列式が実は掃き出し法で証明できると最初に気づいたのは誰?