Two new theorems with test problems. DiagonalsOfKiteArePerpendicular - given a kite, its diagonals must be perpendicular. SupplementaryAndCongruentImplyRightAngles - two angles which are both supplementary and congruent must be right angles.