Some Notes of Proof by Contradiction on Higher Algebra

• 高等代数中反证法的三点注记