theorem :: XPRIMES2:1292

canceled;