Added FSVO lemma