theorem :: XPRIMES1:2367

canceled;