This was solved by McBride in 1982.
Αυτό λύθηκε από τον McBride το 1982.