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 aa then bb” is “If bb then aa”. Not all theorems have a valid converse.

Example: “university lecturer     \implies graduate” is true, but “graduate     \implies university lecturer” is false.

Topics: Euclidean geometry
Concepts: Proof · Converse theorem
Skills: Proving