Pythagorean Theorem done