theorem :: XPRIMES2:2976

canceled;