theorem :: XPRIMES2:1680

canceled;