theorem :: XPRIMES1:2926

canceled;