I'm reading the paper "A gap theorem for free boundary minimal surfaces in the three-ball".

In what follows $\Sigma$ is a minimal compact free boundary surface in the unit three-ball $B^3$ contained in $\mathbb{R}^3$.

On page 5 we have two affirmations, here they are:

1 - "In particular, $\partial \Sigma$ is strictly convex in $\Sigma$. This implies that for all $p,q \in \Sigma$ there exists a minimising geodesic in $\Sigma$ joining $p$ to $q$."

2 - "Given $[\alpha] \in \pi_1(\Sigma,p)$, let us assume that $[\alpha]$ is a non trivial homotopy class. Since $\partial \Sigma$ is strictly convex we can find a geodesic loop $\gamma:[0,1] \to \Sigma$, $\gamma(0)=\gamma(1) = p$, such that $\gamma \in [\alpha]$."

I've finished studying the whole paper and these are the only two things I don't understand and don't know how to prove.

Where can I find reference for these two facts? I already tried looking into some of the references but didn't find anything helpful.

Thank you.

I'm reading the paper "A gap theorem for free boundary minimal surfaces in the three-ball".

In what follows $\Sigma$ is a minimal compact free boundary surface in the unit ball $B^3$ contained in $\mathbb{R}^3$.

On page 5 we have two affirmations, here they are:

1 - "In particular, $\partial \Sigma$ is strictly convex in $\Sigma$. This implies that for all $p,q \in \Sigma$ there exists a minimising geodesic in $\Sigma$ joining $p$ to $q$."

2 - "Given $[\alpha] \in \pi_1(\Sigma,p)$, let us assume that $[\alpha]$ is a non trivial homotopy class. Since $\partial \Sigma$ is strictly convex we can find a geodesic loop $\gamma:[0,1] \to \Sigma$, $\gamma(0)=\gamma(1) = p$, such that $\gamma \in [\alpha]$."

I read the paper and these are the only two things I don't understand let alone know how to prove.

Where can I find a reference for these two facts?

Thank you.