证明寻找程序的英文翻译

中文：证明寻找程序