Explore the model and restore the proof of the Pythagorean theorem it contains. The same model also proves the formula for the square of the sum. How?