theorem :: XPRIMES1:1680

canceled;