theorem :: XPRIMES2:2767

canceled;