theorem :: XPRIMES1:5925

canceled;