 
 
 
 
 
 
 
  
 be the elliptic curve
 be the elliptic curve
 .
Then
.
Then  and
 and  .  In fact, it's easy
to see that
.  In fact, it's easy
to see that  ``by hand'' by writing down
the form
 ``by hand'' by writing down
the form  corresponding to 54B and the form
 corresponding to 54B and the form  corresponding
to
 corresponding
to  and noting that
 and noting that 
 .
(Because of the ``Sturm Bound'', it suffices to check
this up to
.
(Because of the ``Sturm Bound'', it suffices to check
this up to  .)
.)
Hey 
 !!  In fact,
!!  In fact, 
 !!
When we first did this computation, Ribet had already mentioned to us
that he had really proved that
!!
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
, not vice-versa.
We were, however, extremely
surprised to find so quickly an example in which 
 .
.
 and
 and  .  For 243B, we have
.  For 243B, we have
 and
 and  .   I designed the t-shirt many months
before I knew that question 4.4 had a negative answer.
.   I designed the t-shirt many months
before I knew that question 4.4 had a negative answer.
 .
.
 
Moral: A little computation sometimes greatly cleans the air.
 
 
 
 
 
 
