$ + PROVE