theorem :: XPRIMES1:2494

canceled;