theorem :: XPRIMES2:6976

canceled;