previously proved

之前证明
常用释义
之前证明