theorem :: XPRIMES2:4940

canceled;