theorem :: XPRIMES1:2530

canceled;