theorem :: XPRIMES1:1666

canceled;