theorem :: XPRIMES1:5704

canceled;