theorem :: XPRIMES2:1240

canceled;