theorem :: XPRIMES1:1772

canceled;