theorem :: XPRIMES2:2335

canceled;