d , l » prover , ener pa°c^