previously proved

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