theorem :: XPRIMES2:2940

canceled;