Verifying Pythagoras' Theorem ๐Ÿ”บ๐Ÿ“