Tangents from a point proof