theorem :: XPRIMES1:5256

canceled;