theorem :: XPRIMES2:8966

canceled;