prove_libere_fp1_canadapg