theorem :: XPRIMES2:6005

canceled;