theorem :: XPRIMES2:7994

canceled;