theorem :: XPRIMES1:5771

canceled;