theorem :: XPRIMES2:267

canceled;