theorem :: XPRIMES2:5976

canceled;