要使老外看得懂，建议用indirect proof