theorem :: XPRIMES2:6940

canceled;