theorem :: XPRIMES2:6001

canceled;