prove libere f1