theorem :: XPRIMES1:2592

canceled;