theorem :: XPRIMES2:6004

canceled;