theorem :: XPRIMES2:6980

canceled;