theorem :: XPRIMES2:6889

canceled;