theorem :: XPRIMES1:5773

canceled;