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