theorem :: XPRIMES2:1320

canceled;