proof translation and fix the link [skip ci]