theorem :: XPRIMES2:2888

canceled;