theorem :: XPRIMES1:2925

canceled;