Let $p$ be a prime number and $F=\left \{0,1,2,...,p-1 \right \}$. Let $A$ be a proper subset of $F$ that satisfies the following property:  if $a,b \in A$, then $ab+1$ (mod $p$) $ \in A$.
How many elements can $A$ have? (Justify your answer.)