Theorem 6.9

Description : In a triangle, if square of one side is equal to the sum of squares of other two sides, then the angle opposite the first side is a right angle