正方行列が正則であることの定義，同値な5つの条件および同値性の証明を行います。