Proof of angle sum of triangle