已证明的

翻译

已证明的

proven