スレイター行列式による証明.