theorem :: XPRIMES2:247

canceled;