Lemma evalDist_getSupport_filter_perm : forall (A: Set)(c1 : Comp A)(c2 : Comp A)(P : A -> bool), (forall a, P a = true -> eqRat (evalDist c1 a) (evalDist c2 a)) -> Permutation (filter P (getSupport c1)) (filter P (getSupport c2)).