What is the right angle theorem?

What is the right angle theorem?