prove libere formula 1