Proper efficiency in linear fractional vector optimization via Benson's characterization. (2nd January 2023)