theorem :: XPRIMES2:2310

canceled;