垃圾$PROVE 就该归0去