感覺proof pair {a,a’}是說a證明a’:

請您先登陸,再發跟帖!