theorem :: XPRIMES2:6935

canceled;