Point Line Distance Formula Proof