About the logic structure of a Theorem

Question

What is the structure of this theorem, i.e. has the form $p\implies q$ or has the form $p \iff q ?$

Theorem: Every finite extension, normal and separable is a Galois extension.

Answer 1

Hint: Rewrite the statement as

If $E/F$ is a finite extension, normal and separable, then $E/F$ a Galois extension.