Hey !! In fact, !! When we first did this computation, Ribet had already mentioned to us that he had really proved that , not vice-versa. We were, however, extremely surprised to find so quickly an example in which .
Moral: A little computation sometimes greatly cleans the air.