1. ## First-Order Deductive System

Can someone help me with this exercise?

Show that the following is a theorem of the First-order deductive system:

⊢(∀y) ((∀x)F(x) → F(y))

Thank you so much!!