theorem :: XPRIMES2:984

canceled;