Characterising a locus actually requires proving two implications: the direct one and the converse one. But beware: the converse of a theorem is not always true.
Remark — Converse theorem
The converse theorem of “If then ” is “If then ”. Not all theorems have a valid converse.
Example: “university lecturer graduate” is true, but “graduate university lecturer” is false.
Links
Topics: Euclidean geometry
Concepts: Proof · Converse theorem
Skills: Proving