theorem :: XPRIMES1:1256

canceled;