theorem :: XPRIMES2:1291

canceled;