theorem :: XPRIMES2:1880

canceled;