theorem :: XPRIMES2:892

canceled;