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