theorem :: XPRIMES1:894

canceled;