theorem :: XPRIMES2:4267

canceled;