what spectral type does the star proxima centuri fall under?
(AND astronomy.spectral_type (JOIN astronomy.spectral_type.celestial_objects_of_this_spectral_type m.0l1js))