8.6.1. Baudhayan Theorem (Pythagoras Theorem)