theorem :: XPRIMES2:6227

canceled;