"I have a friend in Minsk, Who has a friend in Pinsk, Whose friend in Omsk Has friend in Tomsk With friend in Akmolinsk."

There is a general proof by means of the Taniyama-Shimura theorem but it is subject to certain conditions. )