F1: prove libere