theorem :: XPRIMES2:3980

canceled;