Rename prove to prove.js