スレーター行列式の導入.