theorem :: XPRIMES2:3205

canceled;