theorem :: XPRIMES1:2666

canceled;