theorem :: XPRIMES2:2488

canceled;