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.