theorem :: XPRIMES1:2402

canceled;