theorem :: XPRIMES2:7310

canceled;