theorem :: XPRIMES2:3247

canceled;