theorem :: XPRIMES2:2839

canceled;