Verifying Pythagoras' Theorem πŸ”ΊπŸ“