theorem :: XPRIMES2:7983

canceled;