In the following link:
An equivalent definition of the profinite group
I'm having trouble understanding the following quote from the answer:
So if you replace each subgroup in a basis by the intersection of its conjugates, you obtain a basis made up of normal subgroups.
How can one prove that these normal subgroups form a basis?