theorem :: XPRIMES2:1301

canceled;