theorem :: XPRIMES2:940

canceled;