pl2. prove libere 1