theorem :: XPRIMES2:6994

canceled;