theorem :: XPRIMES2:6488

canceled;