theorem :: XPRIMES1:3980

canceled;