theorem :: XPRIMES2:2880

canceled;