theorem :: XPRIMES2:3189

canceled;