theorem :: XPRIMES2:488

canceled;