theorem :: XPRIMES2:5287

canceled;