theorem :: XPRIMES2:1370

canceled;