theorem :: XPRIMES2:8940

canceled;