theorem :: XPRIMES2:6960

canceled;