theorem :: XPRIMES2:8960

canceled;