theorem :: XPRIMES2:5247

canceled;