theorem :: XPRIMES1:5892

canceled;