proof of limit distribution for score under local mis-spec