theorem :: XPRIMES1:256

canceled;