theorem :: XPRIMES2:897

canceled;