Prove
Check whether
Factorization
Equation
Grouping
Identity
Taking Out Common Factors
Expansion
証明
抽取共同因子
公式
因式分解
恆等式
展開
併項
驗証