theorem :: XPRIMES2:6993

canceled;