theorem :: XPRIMES2:6267

canceled;