theorem :: XPRIMES2:7960

canceled;