added fraction.js to prove.html