Y by Davi-8191, Adventure10, Mango247
Let
be a set of integers (not necessarily positive) such that
(a) there exist
with
;
(b) if
and
are elements of
(possibly equal), then
also belongs to
.
Prove that
is the set of all integers.

(a) there exist


(b) if





Prove that
