theorem :: XPRIMES2:6240

canceled;