theorem :: XPRIMES1:2406

canceled;