theorem :: XPRIMES2:5240

canceled;