theorem :: XPRIMES1:2984

canceled;