theorem :: XPRIMES1:984

canceled;