theorem :: XPRIMES2:1411

canceled;