theorem :: XPRIMES1:2506

canceled;