theorem :: XPRIMES2:2982

canceled;