The Theorem and its proof is given below:
But I am wondering why we write "Ignore the input " when describing an Enumerator? could anyone explain this for me please?
It's just an explicit statement that the behaviour of the machine doesn't depend on its input in any way. This could be inferred from the rest of the machine's description, but explicitly saying it makes it clear that it's not a mistake.