theorem :: XPRIMES1:1771

canceled;