theorem :: XPRIMES2:2261

canceled;