theorem :: XPRIMES2:867

canceled;