如何使用 "automath" 造句