theorem :: XPRIMES1:5926

canceled;