Proof of Theorem FVCS

See the proof of Theorem CSRN.