厉害厉害。能写出这个证明水平很高很厉害