Proper Subvarieties of a Curve Are Finite