theorem :: XPRIMES1:488

canceled;