theorem :: XPRIMES1:320

canceled;