theorem :: XPRIMES2:6006

canceled;