It is because prove command is not in your path
Find it:

find / -type f -name "prove"
[download]

And then run it with full path or include directory in your path

Regards, PD: Sorry I missleveled this answer (should be Re: and not Re^2:)