theorem :: XPRIMES2:6340

canceled;