theorem :: XPRIMES2:2347

canceled;