Proof of cons_functionality_wrt_permr_massoc