theorem :: XPRIMES2:2680

canceled;