theorem :: XPRIMES1:2487

canceled;