алгебрын баталгаа
[1-1-2-3]日本語
代数的証明
英語
algebraic proof
備考
symbolic logic