感觉proof pair {a,a’}是说a证明a’:

请您先登陆,再发跟帖!