theorem :: XPRIMES2:2388

canceled;