Proposition CVPFLMFS