theorem :: XPRIMES1:5781

canceled;