Untuk membuktikan prediksi yang sudah dirumuskan sebelumnya, prosedur apa saja yang harus ditempuh untuk membuktikan prediksi tersebut? Jelaskan juga prosedur pemanfaatan software seperti Phyphox dan Tracker untuk mengekstraksi data hasil eksperimen.