差積の定義，および交代式であることなどの性質，置換の符号が定義できることの証明を解説します。