theorem :: XPRIMES1:247

canceled;