I've a discrete mathematics book that has the following written theorems:

My question why is this a universal statement on the right? Can't we just use existential statement like this:

Also :

Alternatively can't we write:

Why my alternate method for stating the same theorem not right? Thanks.