The following is a list of Royal Navy ship names by name in alphabetical order, both past and present. Many of the names have been re-used over the years and thus represent different ships.
(Note that this list still lacks many important ships.)
... and its proof remain correct if the coefficients a, b and c are complex numbers, or more generally members of any field whose characteristic is not 2. (In a field of ...