theorem :: XPRIMES2:2291

canceled;