[dash2]

No, it's very likely they did. But to have memorized one proof for every academic paper would be very demanding on parameters, I think.