theorem :: XPRIMES2:2267

canceled;