theorem :: XPRIMES2:2980

canceled;