Prove beval_iff_bevalR