update some proofs about closed values in RIL