theorem :: XPRIMES2:1302

canceled;