已证明的

已证明的

proven