theorem :: XPRIMES2:8680

canceled;