prove后跟什么

Searching…