theorem :: XPRIMES2:5940

canceled;