Chứng minh rằng nếu X là một tập hữu hạn khác rỗng, a thuộc X thì X / { a } cũng là một tập hữu hạn

1. Chứng minh rằng nếu X là một tập hữu hạn khác rỗng, a thuộc X thì X / { a } cũng là một tập hữu hạn
2. Gọi y' là số tự nhiên kề sau số tự nhiên kề sau số tự nhiên y. Chứng minh rằng x+y'=(x+y)', với mọi x, y thuộc N