验证代数的英文翻译

中文：验证代数